منابع مشابه
Peter J. Landin (1930-2009)
This note is a prelude to a forthcoming special issue of HOSC dedicated to Peter Landin’s memory.
متن کاملVerity Visualization: Visual
abstract Visualized data often has dubious origins. One way to deene data lineage is by describing the uncertainty. In addition, diierent forms of uncertainty and errors are also introduced as the data is derived, transformed, interpolated, and nally rendered. In the absence of integrated presentation of data and its associated uncertainty, the analysis of the visualization is incomplete at bes...
متن کاملThe 2009 Lindau Nobel Laureate Meeting: Peter Agre, Chemistry 2003
Peter Agre, born in 1949 in Northfield Minnesota, shared the 2003 Nobel Prize in Chemistry with Roderick MacKinnon for his discovery of aquaporins, the channel proteins that allow water to cross the cell membrane. Agre's interest medicine was inspired by the humanitarian efforts of the Medical Missionary program run by the Norwegians of his home community in Minnesota. Hoping to provide new tre...
متن کاملVerity - A formal verification program for custom
In an effort to fully exploit CMOS performance, custom design techniques are used extensively in commercial microprocessor design. However, given the complexity of current-generation processors and the necessity for manual designer intervention throughout the design process, proving design correctness is a major concern. In this paper we discuss Verity, a formal verification program for symboli...
متن کاملTim Bartness (1953-2015).
TIM BARTNESS died on September 24, 2015 at his home in Atlanta after a year-long battle with multiple myeloma. He was 62 years old. Tim was a superbly innovative and imaginative scientist. Over the course of his distinguished career he applied a broad understanding of metabolic physiology, behavior analysis, and systems neuroscience to two main research areas: the integrated sensorimotor contro...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Limnology and Oceanography Bulletin
سال: 2010
ISSN: 1539-607X
DOI: 10.1002/lob.201019122a